type check перевод

• контроль соответствия типов

• type:    1) тип, типичный образец или представитель (чего-либо) Ex: true to type типичный, характерный2) разновидность Ex: literary type литературный тип3) род, класс, группа Ex: blood type группа крови Ex:
• check:    1) препятствие, остановка; задержка Ex: to serve as a check служить препятствием; обуздывать Ex: wind acts as a check on speed ветер мешает быстрой езде Ex: his illness gave a check to our plans его
• double type-bar check:    полигр. контроль за сдвоенным ударом (на клавиатуре)
• check for:    чек на сумму
• check in:    1) сдавать под расписку; сдавать на хранение Ex: to check in one's coat сдать (в гардероб) пальто Ex: "check in all equipment after using" "сдавайте инвентарь по использовании" (объявление)2) регист
• check in on:    phrvi AmE infml I checked in on her yesterday. She's almost over her illness — Я вчера заглянул к ней на минутку. Она уже поправляется
• check on:    начинать работу
• check that:    expr AmE infml Check that, I was wrong — Не будем об этом. Я был не прав She showed up at ten, no check that, at about eleven — Она заявилась в десять, нет, вру, около одиннадцати
• check with:    совпадать, соответствовать
• check-in:    1) регистрация, отметка о прибытии (в гостиницу)2) запись в книге прихода и ухода3) регистратура
• in check:    под контролем; под принуждением His task was to keep Jimmy in check. ≈Его задачей было держать Джима под контролем. The common law of thedesert found itself kept in check by the statute law of Pales
• to check in:    сдавать под расписку
• to check on:    проверять
• -type:    1) в сложных словах имеет значение устройство для (такого-то) способа печати; отпечаток, сделанный (таким-то) способом печати Ex: linotype линотип Ex: teletype телетайп
• then type:    затем печатать

• UObject uses C++ templates to transparently map any requested method to an interface machinery that takes care of the type checking.
  UObject использует шаблоны C++ для прозрачного отображения любого требуемого метода в механизм интерфейса, который берет на себя проверку типов.
• If arbitrary values are allowed in dependent types, then deciding type equality may involve deciding whether two arbitrary programs produce the same result; hence type checking may become undecidable.
  Если в зависимых типах допущено использование произвольных значений, то решение о равенстве типов может включать в себя проверку равенства результата работы двух произвольных программ.